Selecting Ontology Entailments for Presentation to Users
نویسندگان
چکیده
Presenting entailments of axioms in a formal ontology is a non-trivial task. This position paper argues that the problem of selecting entailments for presentation to users is not adequately acknowledged or addressed in the literature or in implemented systems. We analyse the problem and consider some di↵erent approaches that can help to address the problem.
منابع مشابه
Computing Explanations for Entailments in Description Logic Based Ontologies
Trying to track down and understand the causes of entailments in Description Logic based ontologies1 can be a wretched and error prone task. Without some kind of tools support many users of ontology editing tools, such as Protégé-4, find that it is impossible to determine the reasons for unsatisfiable classes or other undesirable entailments that can arise during the process of constructing an ...
متن کاملLemmas for Justifications in OWL
Over the past few years there has been a significant amount of interest in the area of debugging and repairing of OWL ontologies. The process of debugging an ontology is necessary in the same way that debugging programme code is necessary – that is, debugging takes place in order to eradicate faults. In terms of ontology debugging, the faults manifest themselves as undesirable entailments. In p...
متن کاملThe OWL Explanation Workbench: A toolkit for working with justifications for entailments in OWL ontologies
In this article we present the Explanation Workbench, a library and tool for working with justification-based explanations of entailments in OWL ontologies. The workbench comprises a software library and Protégé plugin. The library can be used in standalone OWL API based applications that require the ability to generate and consume justifications. The Protégé plugin, which is underpinned by the...
متن کاملExtracting Finite Sets of Entailments from OWL Ontologies
The canonical standard description logic reasoning service is classification, that is, the generation of the set of atomic subsumptions which are entailed by some ontology. While this consequence relation is well defined and finite, there is significant variance in the composition of that set. For example, it is common (in tools and in discussion) to exclude some tautologies (e.g., A v >, A v A...
متن کاملRule-based OWL Ontology Reasoning Using Dynamic ABOX Entailments
In the rule-based OWL reasoning paradigm, ontologies are mapped into an internal rule engine representation format and rules are applied, such as TBOX and ABOX OWL entailment rules, in order to deduce new knowledge. In this paper we briefly introduce the notion of dynamically generating ABOX entailment rules in order to enhance the ABOX reasoning performance of a rule engine. The proposed metho...
متن کامل